direct Product of groups